Optimal. Leaf size=436 \[ \frac{\sqrt{a+b x} \sqrt{c+d x} \left (262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4-308 a b^3 c^3 d+105 b^4 c^4\right )}{3840 a^4 c^2 x^2}-\frac{\sqrt{a+b x} \sqrt{c+d x} \left (51 a^2 b c d^2+5 a^3 d^3-61 a b^2 c^2 d+21 b^3 c^3\right )}{960 a^3 c x^3}+\frac{\sqrt{a+b x} \sqrt{c+d x} \left (-5 a^2 d^2-6 a b c d+3 b^2 c^2\right )}{160 a^2 x^4}-\frac{\sqrt{a+b x} \sqrt{c+d x} \left (838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5-945 a b^4 c^4 d+315 b^5 c^5\right )}{7680 a^5 c^3 x}+\frac{\left (5 a^2 d^2+14 a b c d+21 b^2 c^2\right ) (b c-a d)^4 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+b x}}{\sqrt{a} \sqrt{c+d x}}\right )}{512 a^{11/2} c^{7/2}}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\sqrt{a+b x} (c+d x)^{3/2} (5 a d+b c)}{60 a x^5} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.46887, antiderivative size = 436, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 6, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {97, 149, 151, 12, 93, 208} \[ \frac{\sqrt{a+b x} \sqrt{c+d x} \left (262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4-308 a b^3 c^3 d+105 b^4 c^4\right )}{3840 a^4 c^2 x^2}-\frac{\sqrt{a+b x} \sqrt{c+d x} \left (51 a^2 b c d^2+5 a^3 d^3-61 a b^2 c^2 d+21 b^3 c^3\right )}{960 a^3 c x^3}+\frac{\sqrt{a+b x} \sqrt{c+d x} \left (-5 a^2 d^2-6 a b c d+3 b^2 c^2\right )}{160 a^2 x^4}-\frac{\sqrt{a+b x} \sqrt{c+d x} \left (838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5-945 a b^4 c^4 d+315 b^5 c^5\right )}{7680 a^5 c^3 x}+\frac{\left (5 a^2 d^2+14 a b c d+21 b^2 c^2\right ) (b c-a d)^4 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+b x}}{\sqrt{a} \sqrt{c+d x}}\right )}{512 a^{11/2} c^{7/2}}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\sqrt{a+b x} (c+d x)^{3/2} (5 a d+b c)}{60 a x^5} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 97
Rule 149
Rule 151
Rule 12
Rule 93
Rule 208
Rubi steps
\begin{align*} \int \frac{\sqrt{a+b x} (c+d x)^{5/2}}{x^7} \, dx &=-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}+\frac{1}{6} \int \frac{(c+d x)^{3/2} \left (\frac{1}{2} (b c+5 a d)+3 b d x\right )}{x^6 \sqrt{a+b x}} \, dx\\ &=-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}+\frac{\int \frac{\sqrt{c+d x} \left (-\frac{3}{4} \left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right )-\frac{3}{2} b d (b c-5 a d) x\right )}{x^5 \sqrt{a+b x}} \, dx}{30 a}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}+\frac{\int \frac{\frac{3}{8} \left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right )+\frac{3}{4} b d \left (9 b^2 c^2-26 a b c d+25 a^2 d^2\right ) x}{x^4 \sqrt{a+b x} \sqrt{c+d x}} \, dx}{120 a^2}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\int \frac{\frac{3}{16} \left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right )+\frac{3}{4} b d \left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) x}{x^3 \sqrt{a+b x} \sqrt{c+d x}} \, dx}{360 a^3 c}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}+\frac{\left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) \sqrt{a+b x} \sqrt{c+d x}}{3840 a^4 c^2 x^2}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}+\frac{\int \frac{\frac{3}{32} \left (315 b^5 c^5-945 a b^4 c^4 d+838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5\right )+\frac{3}{16} b d \left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) x}{x^2 \sqrt{a+b x} \sqrt{c+d x}} \, dx}{720 a^4 c^2}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}+\frac{\left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) \sqrt{a+b x} \sqrt{c+d x}}{3840 a^4 c^2 x^2}-\frac{\left (315 b^5 c^5-945 a b^4 c^4 d+838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5\right ) \sqrt{a+b x} \sqrt{c+d x}}{7680 a^5 c^3 x}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\int \frac{45 (b c-a d)^4 \left (21 b^2 c^2+14 a b c d+5 a^2 d^2\right )}{64 x \sqrt{a+b x} \sqrt{c+d x}} \, dx}{720 a^5 c^3}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}+\frac{\left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) \sqrt{a+b x} \sqrt{c+d x}}{3840 a^4 c^2 x^2}-\frac{\left (315 b^5 c^5-945 a b^4 c^4 d+838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5\right ) \sqrt{a+b x} \sqrt{c+d x}}{7680 a^5 c^3 x}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\left ((b c-a d)^4 \left (21 b^2 c^2+14 a b c d+5 a^2 d^2\right )\right ) \int \frac{1}{x \sqrt{a+b x} \sqrt{c+d x}} \, dx}{1024 a^5 c^3}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}+\frac{\left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) \sqrt{a+b x} \sqrt{c+d x}}{3840 a^4 c^2 x^2}-\frac{\left (315 b^5 c^5-945 a b^4 c^4 d+838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5\right ) \sqrt{a+b x} \sqrt{c+d x}}{7680 a^5 c^3 x}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}-\frac{\left ((b c-a d)^4 \left (21 b^2 c^2+14 a b c d+5 a^2 d^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-a+c x^2} \, dx,x,\frac{\sqrt{a+b x}}{\sqrt{c+d x}}\right )}{512 a^5 c^3}\\ &=\frac{\left (3 b^2 c^2-6 a b c d-5 a^2 d^2\right ) \sqrt{a+b x} \sqrt{c+d x}}{160 a^2 x^4}-\frac{\left (21 b^3 c^3-61 a b^2 c^2 d+51 a^2 b c d^2+5 a^3 d^3\right ) \sqrt{a+b x} \sqrt{c+d x}}{960 a^3 c x^3}+\frac{\left (105 b^4 c^4-308 a b^3 c^3 d+262 a^2 b^2 c^2 d^2-20 a^3 b c d^3+25 a^4 d^4\right ) \sqrt{a+b x} \sqrt{c+d x}}{3840 a^4 c^2 x^2}-\frac{\left (315 b^5 c^5-945 a b^4 c^4 d+838 a^2 b^3 c^3 d^2-90 a^3 b^2 c^2 d^3-65 a^4 b c d^4+75 a^5 d^5\right ) \sqrt{a+b x} \sqrt{c+d x}}{7680 a^5 c^3 x}-\frac{(b c+5 a d) \sqrt{a+b x} (c+d x)^{3/2}}{60 a x^5}-\frac{\sqrt{a+b x} (c+d x)^{5/2}}{6 x^6}+\frac{(b c-a d)^4 \left (21 b^2 c^2+14 a b c d+5 a^2 d^2\right ) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+b x}}{\sqrt{a} \sqrt{c+d x}}\right )}{512 a^{11/2} c^{7/2}}\\ \end{align*}
Mathematica [A] time = 0.416215, size = 267, normalized size = 0.61 \[ \frac{\frac{\left (5 a^2 d^2+14 a b c d+21 b^2 c^2\right ) \left (\frac{x (b c-a d) \left (\frac{5 x (b c-a d) \left (3 x^2 (b c-a d)^2 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+b x}}{\sqrt{a} \sqrt{c+d x}}\right )+\sqrt{a} \sqrt{c} \sqrt{a+b x} \sqrt{c+d x} (2 a c+5 a d x-3 b c x)\right )}{a^{5/2} \sqrt{c}}-8 \sqrt{a+b x} (c+d x)^{5/2}\right )}{a}-48 \sqrt{a+b x} (c+d x)^{7/2}\right )}{64 c x^4}+\frac{2 (a+b x)^{3/2} (c+d x)^{7/2} (5 a d+9 b c)}{x^5}-\frac{20 a c (a+b x)^{3/2} (c+d x)^{7/2}}{x^6}}{120 a^2 c^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.028, size = 1271, normalized size = 2.9 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 140.092, size = 2014, normalized size = 4.62 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]